Extending PDDL for Hierarchical Planning and Topological Abstraction

نویسندگان

  • Adi Botea
  • Jonathan Schaeffer
چکیده

Despite major progress in AI planning over the last few years, many interesting domains remain challenging for current planners. Topological abstraction can reduce planning complexity in several domains, decomposing a problem into a two-level hierarchy. This paper presents LAP, a planning model based on topological abstraction. In formalizing LAP as a generic planning framework, the support of a planning language more expressive than PDDL can be very important. We discuss how an extended version of PDDL can be part of our planning framework, by providing support for hierarchical planning and topological abstraction. We demonstrate our ideas in Sokoban and path-finding, two domains where topological abstraction is useful.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Extension to PDDL for Hierarchical Planning

This paper describes an extension to PDDL, devised to support hierarchical planning. The proposed syntactic notation should be considered as an initial suggestion, headed at promoting a discussion about how the standard PDDL can be extended to represent abstraction hierarchies.

متن کامل

Planning by Abstraction Using HW[]

This paper present s the parametric system HW[], devised and implemented to perform planning by abstraction. The parameter is an external PDDL-compliant planner, which is exploited to search for solutions at any required level of abstraction including the ground one. To represent abstraction hierarchies an extension to the standard PDDL notation has been devised, which allows one to control com...

متن کامل

Experimenting the Performance of Abstraction Mechanisms Through a Parametric Hierarchical Planner

In this paper, the parametric hierarchical planner HW[] is presented, devised to perform experiments on abstraction mechanisms. The system has been designed to embed any PDDL-compliant planner –to be considered as a “parameter” with respect to the overall planning system. By suitably switching between abstraction levels, HW[] exploits the embedded planner to search for solutions at any required...

متن کامل

HW [ ] : A Parametric System for Planning by Abstraction

In this article, a system devised and implemented to exploit abstraction techniques for solving complex problems is presented. The system is able to automatically generate a hierarchical planner starting from a generic planner P, provided that compliance with the STRIPS subset of PDDL 1.2 standard is ensured. The resulting hierarchical planner delegates to P the actual search at any required le...

متن کامل

Automated Program Checking via Action Planning

In this paper we translate concurrent C/C++ code into PDDL. The system then runs heuristic search planners against the PDDL outcome to generate traces for locating programming bugs. These counter-examples result in an interactive debugging aid and exploit efficient planner in-built heuristics. Different aspects like parsing, generation of the dependency graph, slicing, abstraction, and property...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003